461. Lesniewski's systems of logic and foundations of mathematics
پدیدآورنده : Urbaniak, Rafal
موضوع : ، Logic, Symbolic and mathematical.,، Mathematical foundations ; Logic ; Philosophy of science,، SCIENCE / Philosophy & Social Aspects
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
462. Linear logic in computer science
پدیدآورنده : edited by Thomas Ehrhard ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
463. Logic
پدیدآورنده : Prepared by The Mathematics Foundation Course Team
کتابخانه: Library of Faculty of Psychology and Educational Sciences University of Tehran (Tehran)
موضوع : Logic, Symbolic and mathematical
رده :
BC
135
.
O6
1971
464. Logic
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical
رده :
511
.
2
Eo-L
465. Logic
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
131
.
O6
466. Logic - Based methods for optimization: Combining optimization and constraint satisfaction
پدیدآورنده : John Hooker
موضوع : Linear programming,Mathematical optimization,Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
467. Logic Colloquim 77. Proceedings of the Colloquium held in Wroclaw, August 1977
پدیدآورنده : Logic Colloquium, Wroclaw, Poland
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Recursive functions-- Congresses
رده :
QA
9
.
A1
.
L63
1977
468. Logic Colloquium '81 :
پدیدآورنده : edited by J. Stern
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L63
1981
469. Logic Colloquium' 96 :
پدیدآورنده : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
470. Logic Colloquium '88
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Congresses. ;
471. Logic Colloquium '85 :
پدیدآورنده : edited by the Paris Logic Group
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
L63
1985
472. Logic Colloquium 76 :
پدیدآورنده : edited by R. O. Gandy, J. M. E. Hyland
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L63
1976
473. Logic Colloquium : Symposium on Logic held at Boston, 1977-1973
پدیدآورنده : edited by R. Parikh
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
453
474. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
پدیدآورنده : edited by D. van Dalen, D. Lascar, T.J. Smiley
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1980
475. Logic Colloquium'84 : proceedings of the Colloquium held in Manchester, U.K., July 1984
پدیدآورنده : editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1984
476. Logic Colloquium'85 : proceedings of the Colloquium held in Orsay, France, July 1985
پدیدآورنده : edited by the Paris Logic Group
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1985
477. Logic Colloquium'88 : proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988
پدیدآورنده : edited by R. Ferro...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1988
478. Logic Colloquium : proceedings of the Summer School and Colloquium in Mathematical Logic
پدیدآورنده :
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
L63
479. Logic Colloquium'87 : proceedings of the colloqium held in Granada, Spin July 20-25, 1987
پدیدآورنده : edited by H.D. Ebbinghaus...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1987
480. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
